snds($l$;$t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$concat(map($\lambda$$t_{1}$.m($l$;$t_{1}$);upto($t$)))